Multi-Dimensional Semantics for Modal Logics
نویسندگان
چکیده
منابع مشابه
Relational Semantics for Modal Logics
Bernd{Holger Schlinglo Institut f ur Informatik, Technische Universitat M unchen, e-mail: [email protected] Wolfgang Heinle Institut f ur angewandte Mathematik, Universitat Bern, e-mail: [email protected] Abstract In this work we survey the connections between modal logic and relation algebra. We compare various modal and relational languages for the speci cation of reac...
متن کاملAutoreferential semantics for many-valued modal logics
In this paper we consider the class of truth-functional modal many-valued logics with the complete lattice of truth-values. The conjunction and disjunction logic operators correspond to the meet and join operators of the lattices, while the negation is independently introduced as a hierarchy of antitonic operators which invert bottom and top elements. The non-constructive logic implication will...
متن کاملSemantics-Based Translation Methods for Modal Logics
A general framework for translating logical formulae from one logic into another logic is presented. The framework is instantiated with two different approaches to translating modal logic formulae into predicate logic. The first one, the well known ‘relational’ translation makes the modal logic’s possible worlds structure explicit by introducing a distinguished predicate symbol to represent the...
متن کاملCoalgebraic semantics of modal logics: An overview
Coalgebras can be seen as a natural abstraction of Kripke frames. In the same sense, coalgebraic logics are generalised modal logics. In this paper, we give an overview of the basic tools, techniques and results that connect coalgebras and modal logic. We argue that coalgebras unify the semantics of a large range of different modal logics (such as probabilistic, graded, relational, conditional)...
متن کاملCompact models for multi-modal logics
We propose a new representation formalism for the multimodal logic Km, in which labels replace modalities in all formulas and subformulas: Possibility operators are represented by constants and necessity operators by anonymous variables. Our formalism gives rise to a new definition of models which can be much more compactly represented than traditional Kripke models. We describe how a Km formul...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1996
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1040067313